The Optimal Model of a Program with Negation
نویسندگان
چکیده
It takes place in a more general work about three-valued (partial) logic and logic programming. We have developped a logical and algebrical theory which seems wellsuited to logic programs with negation. In this theory, we have extended the "consequence" operator of Van Emden and Kowalski associated with a program without negation to a "consequence" operator for programs with negation taking inconsistent programs in account. As the models of a program are exactly the post-fixpoints of this operator, the first provided denotational semantics of a program is the least fixpoint semantics.
منابع مشابه
Optimal emergency demand response program integrated with multi-objective dynamic economic emission dispatch problem
Nowadays, demand response programs (DRPs) play an important role in price reduction and reliability improvement. In this paper, an optimal integrated model for the emergency demand response program (EDRP) and dynamic economic emission dispatch (DEED) problem has been developed. Customer’s behavior is modeled based on the price elasticity matrix (PEM) by which the level of DRP is determined for ...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کاملDetermining the best irrigation water scheduling with the aim of maximum productivity in irrigation and drainage networks (Case study: Qazvin irrigation network)
In this study, a model was developed to determine the optimal irrigation schedule for the Qazvin Plain in such a way that economic productivity is maximized with the amount of water available and the area under cultivation. The AquaCrop plant growth model was used to determine crop performance in different irrigation programs. The plant growth model was connected to the MATLAB programming envir...
متن کاملOptimal Operation of Microgrid in the presence of Real-time Pricing Demand Response Program using Artificial Bee Colony Algorithm with a Modified Choice Function
Abstract: Microgrid is one of the newest technologies in power systems. Microgrid can usually has a set of distributed energy resources that makes it able to operate separate from power grid. Optimal operation of microgrids means the optimal dispatch of power resources through day and night hours. This thesis proposed a new method for optimal operation of microgrid. In this method, real-time pr...
متن کاملOptimal implementation of the TOU load response program by providing an economical model related to the behavior of residential electricity consumers.
The important defect of the previous models , is assumed that consumer behavior is based on logic and with a rise in the price their consumption decreased and they accurately have no problems with their control. However, various parameters such as lifestyle, habits and emotions and something like that can be effective. In this paper, we use the new model called the OLG model and the CRRA funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990